-
1 non-monotonic reasoning
Компьютерная техника: немонотонное рассуждениеУниверсальный англо-русский словарь > non-monotonic reasoning
-
2 non-monotonic reasoning
niet-monotoon redenerenEnglish-Dutch technical dictionary > non-monotonic reasoning
-
3 non-monotonic reasoning
n AI nicht monotones Schließen ntDictionary English-German Informatics > non-monotonic reasoning
-
4 non-monotonic reasoning
English-Russian dictionary of computer science > non-monotonic reasoning
-
5 reasoning
[ˈri:znɪŋ]bottom-up reasoning вчт. индуктивный вывод common-sense reasoning рассуждение здравого смысла default reasoning вчт. рассуждение по умолчанию non-monotonic reasoning немонотонное рассуждение nonmonotonic reasoning немонотонный вывод reasoning объяснения; аргументация; the pupils understood the teacher's reasoning ученики поняли объяснения учителя reasoning pres. p. от reason reasoning мыслящий, способный рассуждать reasoning объяснения; аргументация; the pupils understood the teacher's reasoning ученики поняли объяснения учителя reasoning рассуждение reasoning in support of the judgment основания вынесенного решения -
6 reasoning
ˈri:znɪŋ
1. сущ.
1) рассуждение, умозаключение cogent, logical, plausible, solid, faulty reasoning ≈ ошибочное рассуждение Her reasoning that the crime had been committed elsewhere proved to be true. ≈ Ее заключение о том, что преступление было совершено где-то в другом месте, оказалось верным. deductive reasoning inductive reasoning shrewd reasoning specious reasoning Syn: deduction, induction, inference, ratiocination
2) объяснения;
аргументация, доказательство Syn: argumentation
2. прил. мыслящий, способный к рассуждению рассуждение, логический ход мысли - power of * способность рассуждать аргументация, доводы, доказательства;
объяснения - there is no * with her ее не переубедишь, ей не втолкуешь;
ее не переспоришь bottom-up ~ вчт. индуктивный вывод common-sense ~ рассуждение здравого смысла default ~ вчт. рассуждение по умолчанию non-monotonic ~ немонотонное рассуждение nonmonotonic ~ немонотонный вывод ~ объяснения;
аргументация;
the pupils understood the teacher's reasoning ученики поняли объяснения учителя reasoning pres. p. от reason ~ мыслящий, способный рассуждать ~ объяснения;
аргументация;
the pupils understood the teacher's reasoning ученики поняли объяснения учителя ~ рассуждение ~ in support of the judgment основания вынесенного решенияБольшой англо-русский и русско-английский словарь > reasoning
-
7 NMR
1) Общая лексика: hum. сокр. Nuclear Magnetic Resonance2) Спорт: No Moves Received3) Военный термин: national military representative, national missile range4) Техника: naval missile range, normal-mode rejection5) Шутливое выражение: No More Radiologists6) Химия: Non Monotonic Reasoning7) Сокращение: National Military Representative to SHAPE (NATO), No Mail Receptacle (return to sender), nubile marriage rate8) Электроника: Noise Masking Ratio, Normal Mode Rejection9) Нефть: Nuclear Magnetic Resonance Logging10) Геофизика: ЯМР, ядерно-магнитный резонанс11) Парфюмерия: ядерный магнитный резонанс12) Сетевые технологии: Nel Message Record, Network Management Resource, Nominal Message Rate13) Полимеры: nuclear magnetic resonance14) Химическое оружие: nuclear magnetic resonance spectrometry15) Нефть и газ: nuclear magnetic resonance log, ЯМК, диаграмма ядерно-магнитного каротажа16) ООН: Not My Responsibility
См. также в других словарях:
Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences … Wikipedia
Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… … Wikipedia
Defeasible reasoning — is a kind of reasoning that is based on reasons that are defeasible, as opposed to the indefeasible reasons of deductive logic. Defeasible reasoning is a particular kind of non demonstrative reasoning, where the reasoning does not produce a full … Wikipedia
Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… … Wikipedia
Psychology of Reasoning — The psychology of reasoning is the study of how people reason, often broadly defined as the process of drawing conclusions to inform how people solve problems and make decisions. [Leighton, J. P. (2004). Defining and describing reason, in The… … Wikipedia
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
Lógica no monotónica — Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una… … Wikipedia Español
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Circumscription (logic) — Not to be confused with circumscribe. Circumscription is a non monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in … Wikipedia
Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… … Wikipedia
